prove that d